Clausius' theorem